Search Results

Christine Tasson: "Probabilistic Programming and Semantics"

Christine Tasson: "Probabilistic Programming and Semantics"

Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Tutorial: Probabilistic Programming and Semantics (Christine Tasson)

Christine Tasson: Semantics for Probabilistic Programming

Christine Tasson: Semantics for Probabilistic Programming

Christine Tasson, IRIF, Paris, "Towards a model of mixed linear and non-linear substitution."

Christine Tasson, IRIF, Paris, "Towards a model of mixed linear and non-linear substitution."

Probabilistic Call By Push Value

Probabilistic Call By Push Value

Semantic Foundations for Probabilistic Programming

Semantic Foundations for Probabilistic Programming

Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).

Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk).

Semantics of Higher-Order Probabilistic Programs with Conditioning

Semantics of Higher-Order Probabilistic Programs with Conditioning

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

[POPL 2021] Probabilistic Programming Semantics for Name Generation (full)

Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford

Semantic models for higher-order Bayesian inference - Sam Staton, University of Oxford

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

[LAFI'22] Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic

Probabilistic programming: Bayesian Non-Parametrics and Semantics [2/4] - Sam Staton - OPLSS 2019

Probabilistic programming: Bayesian Non-Parametrics and Semantics [2/4] - Sam Staton - OPLSS 2019